<?php
echo $dump;
?>